A CP/SAT 2025 workshop - Sunday 10/08/2025 - Glasgow, Scotland
The main goal of the ExCoS workshop is to provide a platform for discussing recent advances and exploring future research directions in the intersection of constraint solving and explainability.
This includes developing techniques for explaining the outcome of a solver (e.g. unsatisfiability, optimality), techniques for making the constraint solving process more explainable, as well as ways of using constraint solvers to compute explanations in various application settings, such as in machine learning and planning.
The workshop is specifically targeted to both SAT and CP and is organized as an in-person event on the first CP/SAT 2025 workshop day, August 10, 2025.
Submission deadline: June 09, 2025
Notification: June 20, 2025
Workshop date: August 10, 2025
Explainable constraint solving
minimal and optimal unsatisfiable subsets
step-wise explanations
explanations for optimality
explainable proofs
explanations with global constraints
formal explanations for machine learning
Explainable planning
model reconciliation and feasibility restoration
interactive explanation systems
counterfactual reasoning in constraint solving
visual explanations
debugging and trace analysis with explanations
evaluation metrics for explainability
user-centered explanation interfaces
and other related topics.
The workshop will consist of a number of 20+10-min talks, with 10 minutes allocated for discussion for each talk to enable a true workshop-style atmosphere. A longer invited talk or panel may be organized as well.
Talks are solicited through an open call for papers and selected by the workshop organizers based on suitability to the workshop theme.
Talks will be selected based on extended abstracts of at most 2 pages (incl references) in pdf, including a starting one-paragraph summary. For the extended abstract the authors may use e.g. the CP or SAT submission templates. Presentations on already-published papers, works in progress, position papers and system descriptions/demos are all invited.
Authors can optionally add up to 10 pages of technical report as an appendix to the extended abstract. For already-published papers, a pointer to a published version of the work should be provided.
All accepted talks will have their title and the one-paragraph summary published on this page. Authors will be able to choose whether they want the extended abstract and the slides also made available on this page. Talks are presented in person in Glasgow. All presenters and attendees are expected to register to the CP/SAT workshop day.
Submit your extended abstract via email to excos25@stes.fi with the subject title "ExCoS25 submission".
For any questions related to the workshop, please use excos25@stes.fi to reach all organizers.
Bart Bogaerts (KU Leuven, Belgium), https://bartbogaerts.eu/
Tias Guns (KU Leuven, Belgium), https://people.cs.kuleuven.be/~tias.guns/
Matti Järvisalo (University of Helsinki, Finland) https://www.cs.helsinki.fi/u/mjarvisa/
Jussi Rintanen (Aalto University, Finland) https://users.aalto.fi/~rintanj1/